Hybrid automaton - PDFSEARCH.IO - Document Search Engine

Hybrid automaton
Results: 28

#	Item
21	ANNUAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR[removed]UNIVERSITY OF CALIFORNIA AT BERKELEY VANDERBILT UNIVERSITY Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Differential equations Systems theory Association of Public and Land-Grant Universities Abstraction Hybrid automaton Hybrid system University of California Berkeley Discrete system System Science Mathematics Automata theory
22	Proceedings of the IEEE, Vol. 91, No. 7, July[removed]Computational Techniques for the Verification of Hybrid Systems Claire J. Tomlin∗ Ian Mitchell†. Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:53 Systems theory Mathematics Mathematical analysis Automata theory Dynamical systems Hybrid automaton Hybrid system State variable Continuous function Control theory Differential equations Science
23	An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:11:24 Computer science Hybrid automaton State transition system Model checking Formal languages Automata theory Models of computation Theoretical computer science
24	Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants (Work in Progress) Stanley Bak [removed] United States Air Force Research Lab - Information Directorate - Rome, NY, USA Add to Reading List Source URL: stanleybak.com Language: English - Date: 2014-04-14 22:54:28 Automata theory Systems theory Science Dynamical systems Hybrid automaton Hybrid system Invariant Reachability State space Control theory Differential equations Mathematics
25	Extracting Hybrid Automata from Control Code Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA, {lyde,might}@cs.utah.edu Abstract. Formal methods—and abstract interpretation in particular— Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Applied mathematics Hybrid automaton Computer science Hybrid system Model checking State transition system Formal language Actor model Differential equations Automata theory Mathematics
26	Timing constraints and symbolic execution for a hybrid synchronous language Timothy Bourke and Marc Pouzet November 1, 2013 Recent work in the Inria/ENS team Parkas, in collaboration with Esterel Technologies, the develo Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-12-15 06:16:55 Computer science Differential equations Model checkers Automata theory Simulation software Model checking SIGNAL Uppaal Model Checker Hybrid automaton Computing Formal methods Theoretical computer science
27	PDF Document Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2006-07-24 18:21:02 Models of computation Mathematics Differential equations Dynamical systems Control theory Hybrid automaton Hybrid system State space Discrete system Automata theory Applied mathematics Theoretical computer science
28	PDF Document Add to Reading List Source URL: www.comp.nus.edu.sg - Date: 2006-05-26 03:10:58 State transition system Applied mathematics Mathematics Automata theory Models of computation Hybrid automaton